Chapter 2 ( First - Order Logic ) of Verification of Object - Oriented Software
نویسنده
چکیده
Collection List
منابع مشابه
Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq
We present a shallow Coq embedding of a higher-order separation logic with nested triples for an object-oriented programming language. Moreover, we develop novel specification and proof patterns for reasoning in higher-order separation logic with nested triples about programs that use interfaces and interface inheritance. In particular, we show how to use the higher-order features of the Coq fo...
متن کاملAbstracts of lectures
s of lectures 1. Designing real-time systems with UML – the ROPES method Z H Object-oriented approach becomes dominating in contemporary software engineering. After a period of tempestuous development of object-oriented methods for software development, the Unified Modeling Language (UML) has emerged as a de facto standard. The UML is a graphical language for visualizing, specifying,...
متن کاملSpecifying and Verifying Collaborative Behavior in Component-Based Systems
...............................................................................................ii Research Grants ...................................................................................iii Acknowledgements..................................................................................v CHAPTER 1: INTRODUCTION 1.1 COMPONENT CERTIFICATION WITH REUSE.....................................
متن کاملOn Attributes of Objects in Object-Oriented Software Analysis
One of the modern paradigms to develop a system is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles. There is a sequence of activities to develop an analysis model. In the first step, we work in developing an initial use case model. Then in the second step, they identify a number of concepts and build a glossary of partic...
متن کاملObjects Identification in Object-Oriented Software Development - A Taxonomy and Survey on Techniques
Analysis and design of object oriented is onemodern paradigms for developing a system. In this paradigm, there are several objects and each object plays some specific roles. Identifying objects (and classes) is one of the most important steps in the object-oriented paradigm. This paper makes a literature review over techniques to identify objects and then presents six taxonomies for them. The f...
متن کامل